<html>
<body>
Replaces calls to <code>until</code> with the <code>..</code> operator and subtracts one from the upper bound.
</body>
</html>